Nuprl Definition : Rframe 0,22
@loc only events in L change x:T == inr(inr(inr(inl(<loc,T,x,L>)))) 
latex

Definitionsinr(x), inl(x), <a,b>
FDL editor aliasesRframe

origin